﻿<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html>
	<head>
		<title></title>
	</head>
	<body>
	
	    <p>
            Despite it being named kernel, it is not the Cosmos kernel. It is instead an 
            interface to control the state of the kernel regarding booting, restarting, 
            shutting down etc. Despite an exhaustive search, we could not determine a more 
            appropriate name and settled on Kernel, since it is a system level interface to 
            the kernel.</p>
	
	</body>
</html>